Buy Used and New Mario Bravetti Books

Formal Techniques for Computer Systems and Business Processes: European Performance Engineering Workshop, EPEW 2005 and International Workshop on Web ... 3670 (Lecture Notes in Computer Science)

by Leila Kloul,Mario Bravetti,Gianluigi Zavattaro

ISBN 13: 9783540287018

Format: Paperback (368 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later

Software Engineering and Formal Methods: 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings: 8137 (Lecture Notes in Computer Science)

by Robert M. Hierons,Mercedes G. Merayo,Mario Bravetti

ISBN 13: 9783642405600

Format: Paperback (340 pages)
Publisher: Springer
Published: 12 Sep 2013

Save for later

Web Services and Formal Methods: Third International Workshop, WS-FM 2006, Vienna, Austria, September 8-9, 2006, Proceedings: 4184 (Lecture Notes in Computer Science)

by Mario Bravetti, Manuel Núñz, Gianluigi Zavattaro

ISBN 13: 9783540388623

Format: Paperback (304 pages)
Publisher: Springer
Published: 22 Feb 2009

Save for later